Verification of integrated circuit behavioral models by programmable logic
نویسندگان
چکیده
منابع مشابه
Partial Order Verification of Programmable Logic Controllers
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net (RN). We present analysis methods based on the partial order semantics of RN’s, which allow the generation of partial order traces as counter examples in the presence of programming errors. To that purpose, the behav...
متن کاملRegression Verification for Programmable Logic Controller Software
Automated production systems are usually driven by Programmable Logic Controllers (PLCs). These systems are long-living – yet have to adapt to changing requirements over time. This paper presents a novel method for regression verification of PLC code, which allows one to prove that a new revision of the plant’s software does not break existing intended behavior. Our main contribution is the des...
متن کاملSoftware verification for programmable logic controllers
ion Abstraction is a fundamental concept used in all formal verification methods. Abstracting means replacing a concrete object with an abstract one which is more universal, and therefore, often has a simpler structure than before. A well-chosen abstraction simplifies as much as possible, without losing too much information about the concrete object. Abstractions can be used in different ways d...
متن کاملTeaching Custom Integrated Circuit Design and Verification
Custom design of integrated circuits is required for the development of digital standard-cell and bit-slice libraries, analog circuits, and other specialized circuits that are not commercially available. Teaching students the design and verification flow at this physical level is valuable in that it provides the understanding and skills they will need to perform these functions in their subsequ...
متن کاملVerification of Agent Behavioral Models
♦ The views expressed in this article are those of the authors and do not reflect the official policy or position of the United States Air Force, Department of Defense, or the US Government. Abstract Intelligent software agents are becoming very popular. They are ideal for solving distributed problems that are too difficult for a non-distributed system to solve. Distributed agents can be used t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Scientific and Technical Journal of Information Technologies, Mechanics and Optics
سال: 2018
ISSN: 2226-1494
DOI: 10.17586/2226-1494-2018-18-3-479-486